Techniques for program error diagnosis on EDSAC 2
نویسندگان
چکیده
منابع مشابه
Design Error Diagnosis Based on Verification Techniques
Error diagnosis is becoming more difficult in VLSI circuit designs due to the increasing complexity. In this paper, we present an algorithm based on verification for improving the accuracy of design error diagnosis. This algorithm integrates three-valued logic simulation and Boolean satisfiability(SAT). It uses test patterns generated by gate level stuck-at fault ATPG tool for parallel pattern ...
متن کاملErrorTracer: design error diagnosis based on fault simulation techniques
This paper addresses the problem of locating error sources in an erroneous combinational or sequential circuit. We use a fault simulation-based technique to approximate each internal signal’s correcting power. The correcting power of a particular signal is measured in terms of the signal’s correctable set, namely, the maximum set of erroneous input vectors or sequences that can be corrected by ...
متن کاملError Concealment Techniques in Mpeg-2
The MPEG-2 compression algorithm, due to the use of variable length coding, is very sensitive to channel disturbances. A single bit error during transmission leads to noticeable degradation of the decoded sequence quality in that part or entire slice information is lost until the next resynchronization point is reached. Error concealment (EC) methods are employed at the decoder side to deal wit...
متن کاملTechniques for Improving the Error Resilience of Mpeg-2 Codecs
This paper is concerned with the performance of MPEG-2 compressed video when transmitted over noisy channels, a subject of relevance to digital terrestrial television. We present the results of introducing errors into MPEG-2 video, and propose techniques for substantially improving the resilience of MPEG-2 to transmission errors without the addition of any extra redundancy into the bitstream. W...
متن کاملError measurement for segmentation techniques
In early February of 1994, I decided that I had passed all my exams and that it was time to end my study Computer Science at the Katholieke Universiteit Nijmegen and get my masters degree. I w alked into Theo Schoutens room, to ask for an assignment f o r m y master thesis. He said that he was doing research on setting optimal thresholds for segmentation techniques and he thought imitating sate...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1963
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/6.1.44